Section: New Software and Platforms

ldrgen

Liveness-driven random C code generator

Keywords: Code generation - Randomized algorithms - Static program analysis

Functional Description: The ldrgen program is a generator of C code: On every call it generates a new random C function and prints it to the standard output. The generator is "liveness-driven", which means that it tries to avoid generating dead code: All the computations it generates are (in a certain, limited sense) actually used to compute the function's return value. This is achieved by generating the program backwards, in combination with a simultaneous liveness analysis that guides the random generator's choices.

• Participant: Gergö Barany

• Contact: Gergö Barany

• Publication: Liveness-Driven Random Program Generation

• URL: https://github.com/gergo-/ldrgen